|
|
Inference propojení komponent
Olšarová, Nela ; Rychlý, Marek (oponent) ; Křivka, Zbyněk (vedoucí práce)
Diplomová práce se zabývala návrhem algoritmu pro inferenci propojení hardwarových komponent. Algoritmus je určen pro použití v editoru návrhu schémat pro FPGA čipy, který je součástí školního vývojového prostředí VLAM IDE. Algoritmus má uživateli pomoci s nalezením optimálního propojení dvou vybraných komponent. Vývojové prostředí s editorem návrhu je implementováno jako zásuvný modul do prostředí Eclipse, kdy je využit grafický modelovací rámec GMF. Po úvodu do těchto technologií a metod návrhu vestavěných systémů následuje návrh inferenčního algoritmu. Tento problém spadá pod problémy kombinatorické optimalizace, konkrétně je příbuzný s přiřazovacím problémem a bipartitním párováním. Poté je popsána implementace algoritmu a grafického uživatelského rozhraní pro jeho použití, následuje jeho otestování a shrnutí dosažených výsledků.
|
|
|
Multimodální systém pro multi-object tracking v reálném čase
Kučera, Adam ; Šátek, Václav (oponent) ; Rozman, Jaroslav (vedoucí práce)
Tato práce se zabývá tématem multi-objektového multi-senzorového sledování. V programovacím jazyce C++ je implementován konvenční řetězec pro track-oriented multiple hypothesis tracking (TOMHT) a je navrženo implementovatelné rozhraní, které umožňuje snadno rozšířit základní algoritmus o libovolné senzory a měřené cílové atributy, čímž se systém stává multimodálním, tj. použitelným v heterogenních systémech senzorů. Je navržen nový algoritmus pro řešení kombinatorické optimalizace vznikající v TOMHT. Nakonec je poskytnuto několik příkladů implementace rozhraní a systém je vyhodnocen v simulovaných a reálných scénářích.
|
|
|
Traveling salesman problem with time windows
Pavlovič, Dávid ; Šoustek, Petr (oponent) ; Dvořák, Jiří (vedoucí práce)
This thesis deals with the Travelling salesman problem with time windows. The problem is that the travelling salesman must pass through each defined location exactly once and finally return to the original place for the lowest possible price. The time windows in this problem are that each place can only be visited in a given time range, or it can happen that in a certain period of time there will be no path between some places. The thesis deals with an overview of this problem and problems similar to it. It also deals with the description of various methods by which this problem can be solved. As part of this thesis, an application in the Python programming language was also created, which is used to test selected methods for finding solutions. Finally, the given experiments are evaluated and the effectiveness of the given strategies is compared.
|
|
|
Experimenty s rojovou inteligencí (swarm intelligence)
Hula, Tomáš ; Zbořil, František (oponent) ; Grulich, Lukáš (vedoucí práce)
Práce se zabývá rojovou inteligencí jako podoborem umělé inteligence. Stručně popisuje biologické pozadí problematiky a zabývá se také principy hledání cest v mravenčích koloniích. Představena je i oblast kombinatorické optimalizace a detailně jsou definovány úlohy Travelling Salesman Problem a Quadratic Assignment Problem. Hlavní část práce sestává z popisu metod rojové inteligence pro řešení uvedených problémů a zhodnocení experimentů, které byly na těchto metodách provedeny. Konkrétně jde o algoritmy Ant System, Ant Colony System, Hybrid Ant System a Max-Min Ant System. V rámci práce byla také navržena a otestována vlastní metoda Genetic Ant System, která obohacuje základní Ant System mimo jiné o vývoj parametrů jednotek na základě genetických principů. V rámci obou řešených úloh jsou porovnány výsledky popisovaných metod společně s výsledky metod klasické umělé inteligence.
|
|
|
Probabilistic Neural Networks for Special Tasks in Electromagnetics
Koudelka, Vlastimil ; Tučková,, Jana (oponent) ; Hartnagel, Hans Ludwig (oponent) ; Raida, Zbyněk (vedoucí práce)
The thesis deals with behavioural modelling techniques capable solving special tasks in electromagnetics which can be formulated as approximation, classification, probability estimation, and combinatorial optimization problems. Concept of the work lies in applying a probabilistic approach to behavioural modelling. Examined methods address two general problems in machine learning and combinatorial optimization: ”bias vs. variance dilemma” and NP computational complexity. The Boltzmann machine is employed to simplify a complex impedance network. The Parzen window is regularized using the Bayesian strategy for obtaining a model selection criterion for probabilistic and general regression neural networks.
|
|
|
Multimodální systém pro multi-object tracking v reálném čase
Kučera, Adam ; Šátek, Václav (oponent) ; Rozman, Jaroslav (vedoucí práce)
Tato práce se zabývá tématem multi-objektového multi-senzorového sledování. V programovacím jazyce C++ je implementován konvenční řetězec pro track-oriented multiple hypothesis tracking (TOMHT) a je navrženo implementovatelné rozhraní, které umožňuje snadno rozšířit základní algoritmus o libovolné senzory a měřené cílové atributy, čímž se systém stává multimodálním, tj. použitelným v heterogenních systémech senzorů. Je navržen nový algoritmus pro řešení kombinatorické optimalizace vznikající v TOMHT. Nakonec je poskytnuto několik příkladů implementace rozhraní a systém je vyhodnocen v simulovaných a reálných scénářích.
|
|
|
Traveling salesman problem with time windows
Pavlovič, Dávid ; Šoustek, Petr (oponent) ; Dvořák, Jiří (vedoucí práce)
This thesis deals with the Travelling salesman problem with time windows. The problem is that the travelling salesman must pass through each defined location exactly once and finally return to the original place for the lowest possible price. The time windows in this problem are that each place can only be visited in a given time range, or it can happen that in a certain period of time there will be no path between some places. The thesis deals with an overview of this problem and problems similar to it. It also deals with the description of various methods by which this problem can be solved. As part of this thesis, an application in the Python programming language was also created, which is used to test selected methods for finding solutions. Finally, the given experiments are evaluated and the effectiveness of the given strategies is compared.
|
|
|
Framework pro vývoj optimalizačních algoritmů
Hurt, Tomáš ; Trunda, Otakar (vedoucí práce) ; Hric, Jan (oponent)
Cílem práce je navrhnout a implementovat efektivní nástroj pro vývoj a testování algoritmů v oblasti kombinatorické optimalizace. Bude vysvětlena problematika plánování a následně budou popsány kroky postupného návrhu a implementace vznikajícího programu. Framework bude podporovat dva hlavní vstupní forma- lismy pro popis optimalizačních problémů (PDDL, SAS+ ). Zajištěna bude pod- pora zpracování vstupů, navrhnuty budou vhodné datové struktury a efektivní implementace prohledávacích algoritmů. Důraz bude kladen na dobrý objektový návrh programu z hlediska budoucího vývoje a snadné rozšiřitelnosti. K docílení toho budou využity ověřené principy z oblasti softwarového inženýrství. 1
|
|
|
Optimalizace včelí kolonií
Jukl, Jan ; Pangrác, Ondřej (vedoucí práce) ; Hušek, Radek (oponent)
Problém minimálního vrcholového pokrytí je dobře známý NP-těžký pro- blém. Tato práce prezentuje Artificial Bee Colony (ABC) algoritmus a dva přístupy založené na genetických algoritmech pro řešení tohoto problému. Al- goritmus ABC je optimalizační algoritmus založený na kolektivní inteligenci včelího roje. ABC byl nejdříve navržen pro spojitou optimalizaci a ukázalo se, že na tomto druhu problémů dosahuje mimořádně kvalitních výsledků. V této práci byl algoritmus ABC přizpůsoben pro řešení problému minimálního vrcholového pokrytí a otestován na benchmarcích DIMACS a BHOSLIB. Naměřené výsledky algoritmu ABC, genetického algoritmu založeného na binárním rozhodovacím di- agramu a informovaného genetického algoritmu jsou v práci vzájemně porovná- vány.
|
|
|
Treewidth, Extended Formulations of CSP and MSO Polytopes, and their Algorithmic Applications
Koutecký, Martin ; Kolman, Petr (vedoucí práce) ; Fellows, Michael R. (oponent) ; Tantau, Till (oponent)
Tato práce podává důkaz existence kompaktních rozšířených formulací pro širokou škálu polytopů souvisejících s problémem omezujících podmínek (CSP), grafovou monadickou logikou druhého řádu (MSO) a rozšířeními MSO, mají-li dané instance omezenou stromovou šířku. Ukážeme, že naše rozšířené formulace mají další užitečné vlastnosti a odkrýváme souvislosti mezi MSO a CSP. Docházíme tak k závěru, že kombinace MSO logiky, CSP a geometrie poskytuje rozšiřitelný rámec pro konstrukci kompaktních rozšířených formulací a parametrizovaných algoritmů pro grafy s omezenou stromovou šířkou. S použitím těchto nástrojů pak zcela zodpovíme otázku parametrizované složitosti různých rozšíření MSO na dvou třídách grafů, konkrétně grafech s omezenou stromovou šířkou a s omezenou různorodostí sousedství. Objevili jsme, že (ne)linearita těchto rozšíření určuje parametrizovanou složitost na grafech s omezenou různorodostí sousedství. Na závěr studujeme tzv. posunutou kombinatorickou optimalizaci, která tvoří nelineární optimalizační rámec zobecňující standardní kombinatorickou optimalizaci. V této oblasti poskytneme prvotní zjištění z perspektivy parametrizované složitosti.
|
host ::
RSS.